\functions {
  int f(int);
  int a, b, c, d;
}

\problem {
  f(a) != 0
&
  f(b) != 1
&
  f(c) != 2
&
  f(d) != 3
}